From Fun to Nightmare. Measuring Students’ Senior Trip Experiences Through a Mixed-method Approach

From Fun to Nightmare. Measuring Students’ Senior Trip Experiences Through a Mixed-method Approac

The use of learning management platforms in school context - a national study

This report results from a national study carried out under the Project “Educational application of learning management platforms”, supported and funded by the Computers, Networks, and Internet in Schools department of the Portuguese Ministry of Education- General Directorate for Innovation and Educational Development. This report has been developed by the ICT Competence Centre of the Faculty of Sciences- University of Lisbon, during the school year 2007/2008

NEETin with ICT

Science and Technology Advisory Council (STAC) outlines that 49% of EU citizens identified “job creation” and 33% identified “education and skills” as the top priorities for science and technology innovation over the next fifteen years. Both documents justify the needs in Europe for the ICT field especially for the NEET (not in education, employment or training) citizens. On the other hand, Grand Coalition for Digital Jobs (GC4DJ) in Europe identifies: the training and matching digital jobs; certification; innovative learning and teaching; mobility; awareness raising; increasing effectiveness of education; increasing equity and producing positive impact in the economy, as a priority for European countries. NEETin is a project directed to NEET citizens, to be developed by Higher Education Institutions, VET providers and Enterprises in order to help to overcome a social European dimension through lifelong learning. By creating a Joint Vocational Education Training in Digital Competences in a collaboration between VET providers and the Enterprises, widening the access to higher education, in an innovative student-centred learning model to apply in a European level, we aim to contribute to improve the quality of Education. Through this certified JVET, NEET citizens will develop their digital skills and the success of employability of these learners will be enhanced.info:eu-repo/semantics/publishedVersio

Learning and testing stochastic discrete event

Dissertação de mestrado em Engenharia de InformáticaSistemas de eventos discretos (DES) são uma importante subclasse de sistemas (à luz da teoria dos sistemas). Estes têm sido usados, particularmente na indústria para analisar e modelar um vasto conjunto de sistemas reais, tais como, sistemas de produção, sistemas de computador, sistemas de controlo de tráfego e sistemas híbridos. O nosso trabalho explora uma extensão de DES com ênfase nos processos estocásticos, comummente chamado como sistemas de eventos discretos estocásticos (SDES). Existe assim a necessidade de estabelecer uma abstração estocástica através do uso de processos semi-Markovianos generalizados (GSMP) para SDES. Assim, o objetivo do nosso trabalho é propor uma metodologia e um conjunto de algoritmos para aprendizagem de GSMP, usar técnicas de model-checking estatístico para a verificação e propor duas novas abordagens para teste de DES e SDES (respetivamente, não estocasticamente e estocasticamente). Este trabalho também introduz uma noção de modelação, analise e verificação de sistemas contínuos e modelos de perturbação no contexto da verificação por model-checking estatístico.Discrete event systems (DES) are an important subclass of systems (in systems theory). They have been used, particularly in industry, to analyze and model a wide variety of real systems, such as production systems, computer systems, traffic systems, and hybrid systems. Our work explores an extension of DES with an emphasis on stochastic processes, commonly called stochastic discrete event systems (SDES). There was a need to establish a stochastic abstraction for SDES through generalized semi-Markov processes (GSMP). Thus, the aim of our work is to propose a methodology and a set of algorithms for GSMP learning, using model checking techniques for verification, and to propose two new approaches for testing DES and SDES (non-stochastically and stochastically). This work also introduces a notion of modeling, analysis, and verification of continuous systems and disturbance models in the context of verifiable statistical model checking

Casa em Alfama

Apresentação do projecto da Casa em Alfama, Lisboa

Surrogate Modelling of Propeller Noise in Unsteady Load Conditions

The recent developments in electric technologies have been a catalyst to the electrification of air transport which typically requires the usage of propellers, known to produce high levels of noise. When coupled with tightening noise regulations and the possibility of operation near urban areas, an interest to study propeller noise arises. This dissertation presents the formulation and implementation of a numerical propeller noise analysis tool. The tool is capable of estimating the noise produced by a propeller under different inflow conditions and is designed to be used in propeller geometry optimisation problems where the inflow conditions, observer position and velocity and the range of propeller geometric characteristics are specified. The code uses Latin Hypercube Sampling to select a space-filling set of propellers; Then, the overall sound pressure level (OASPL) for these samples is calculated using a formulation of the Ffowcs-Williams and Hawkings (FW-H) equation with loading data from a modified Blade Element Momentum (BEM) theory; A Kriging model is then produced and made available to the user for direct analysis or further implementation in optimisation problems. Validation cases are presented for all modules of the tool and a study case with a propeller operating in a push configuration is analysed. The different modules of the model were validated against experimental and numerical data from the literature with promising results. In addition, a case study was performed where a propeller operates in the wake of a wing. The results show that there is a clear difference in noise produced under unsteady load conditions. In addition, it is noted that blade chord, radius, incidence and count can be tuned to minimise noise.O desenvolvimento recente na tecnologia elétrica tem vindo a ser um catalizador da eletrificação do transporte aéreo que tipicamente requer a utilização de hélices, conhecidas por produzir elevados níveis de ruído. A este facto, juntam-se as crescentes normas anti ruído e a possibilidade de operação em áreas urbanas, o que desperta o interesse no estudo do ruído produzido por hélices. Esta dissertação apresenta a formulação e implementação de uma ferramenta numérica de análise de ruído produzido por hélices. Esta ferramente é capaz de estimar o ruído produzido por uma hélice em diferentes condições de escoamento e é desenvolvida com foco em problemas de otimização em que o escoamento, posição e velocidade relativas do observador e intervalos das diferentes características geométricas da hélice são especificados. O código utiliza amostragem por hipercubo latino para selecionar um grupo de hélices representativo do espaço de projeto; De seguida, o nível de pressão sonora para cada uma destas hélices é calculado através de uma formulação da equação de Ffowcs-Williams e Hawkings (FW-H) com dados de carregamento das pás provenientes da teoria do momento do elemento da pá modificada; Estes dados são utilizados para produzir um modelo de Kriging que é disponibilizado ao utilizador para analizar diretamente ou implementar em problemas de otimização. Os diferentes módulos do modelo foram validados, com sucesso, utilizando dados experimentais e numéricos disponíveis na literatura. Além disso, um caso de estudo onde uma hélice opera na esteira de uma asa foi explorado. Os resultados mostram que há uma clara diferença no ruído produzido em condições de carregamento transiente. Além disso, é observado que a corda, raio, incidência e número de pás podem ser otimizados de forma a reduzir o ruído produzido

Sustentabilidade nos projetos de design : uma proposta para aplicar a sustentabilidade na educação e na prática profissional

Higher education institutions have a responsibility to contribute to a more sustainable development. However, this contribution hasn’t always been consequential, especially when the focus is more on the construction of mere tools for sustainability, than on the process of internal transformation. That is, on the development of a true training for sustainability, consequently for a curriculum more oriented towards sustainability and with valid contributions for sustainable development, namely in the regions where they are based. On the other hand, ecodesign analysis tools, namely checklists, have been used successfully in companies, but also in education, and have made an important contribution to sustainability, fundamentally in the environmental and economic dimensions. Consolidated experiences in these areas have shown that employing these tools implies a contextualization of their use, in the case of their application in a teaching context, among students, or in a business environment, among professionals. It depends on the social, economic, and business context of the region or country, but, in the specific case of an application in education, it also depends on the type of subjects and the teaching and learning methods. In addition, the usefulness of the checklists is observed in various contexts of everyday life, but also in the professional environment and in teaching, as it is a tool that can help teachers and students to guide projects towards the final objectives, also valuing the process of getting there. The present study emerged from an investigation carried out within the scope of sus- tainability in communication design projects, involving several curricular units of a communication design course. Its final objective is to formulate a proposal for the application of sustainability to education and professional practice in this field of design. The main intention is to encourage design practices that consider aspects of environmental, social and economic sustainability, consolidating the training of students for a more sustainable development. At the methodological level, the study was grouped into four phases of action. In the first phase, the state of the art was analysed, the most appropriate method was chosen – an Ecodesign Checklist – and developed to evaluate communication design projects and to introduce improvements in products sustainability and design projects. Three curricular units from the third year of the Communication Design bachelor’s degree were selected, which allowed to carry out the communication design project (Communication Design IV subject), create ecodesign strategies (Sustainable Design subject) and plan their graphic production (Graphic Production I subject). Within this context a packaging and labelling design problem was defined as the project to be carried out evolving the subjects, having in mind the region where the school is located. To this end, an Ecodesign Checklist for Packaging and Labelling was developed, which allowed the design aspects for sustainability to be articulated between the three curricular units. In a second methodological phase, the Packaging and Labelling Ecodesign Checklist, was implemented and a first assessment study was carried out, regarding the potential contributions to the main aspects of sustainable development and to the training and curriculum of students involved. In addition to put in practice the Packaging and Labelling Ecodesign Checklist, surveys were also carried out with the involved students, in order to assess the impact of using the method on their curricular training and on their design practices. It is expected that in a third phase, this study can be applied to other subjects of the Communication Design degree and in a fourth phase to be extended to professional practice.reflections obtained in the first two methodological phases of this investigation, evaluating the importance of conducting the inquiry into a more holistic perspective, which includes a curriculum and training for sustainability, transposing the limits of the design project or of the designed products. It is also presented here the study contributions evaluation, specifically the Ecodesign Checklist for Packaging and Labelling, for the “Sustainable Development Goals - 2030” in Portugal and in the region where the higher education institution is located, highlighting the aspects considered as fundamental, and within the reach of design and communication designers. The first presented results are exploratory, as the intention is to develop the study by comparing results on a continuous basis. The evaluation of the Packaging and Labelling Ecodesign Checklist was carried out considering the academic universe in which it was implemented and intends to establish improvement parameters for its use. These parameters include the ease of use of the Checklist; the achievement of ecodesign objectives and of social and economic sustainability; and the contribution to students' training in the scope of sustainability. Some of the criteria initially defined for this study, specifically criteria related to collaborative practices applied to the field of design, were conditioned by the constraints of social confinement. However, it is expected to apply and test these criteria in the next round of the Ecodesign Checklist implementation. This article presents the first analyses and importance that this area of design has inAs instituições de ensino superior têm a responsabilidade de contribuir para um desenvolvimento mais sustentável. Contudo, esta contribuição nem sempre tem sido consequente, especialmente quando o foco está mais na construção de meros instrumentos de sustentabilidade, do que no processo de transformação interna. Ou seja, no desenvolvimento de uma verdadeira formação para a sustentabilidade, consequentemente para um currículo mais orientado para a sustentabilidade e com contribuições válidas para o desenvolvimento sustentável, nomeadamente nas regiões onde se encontram sediadas. Por outro lado, os instrumentos de análise de concepção ecológica, nomeadamente listas de verificação, têm sido utilizados com sucesso nas empresas, mas também na educação, e têm dado um importante contributo para a sustentabilidade, fundamentalmente nas dimensões ambiental e económica. Experiências consolidadas nestas áreas demonstraram que a utilização destas ferramentas implica uma contextualização da sua utilização, no caso da sua aplicação num contexto de ensino, entre estudantes, ou num ambiente empresarial, entre profissionais. Depende do contexto social, económico e empresarial da região ou país, mas, no caso específico de uma aplicação na educação, depende também do tipo de disciplinas e dos métodos de ensino e aprendizagem. Além disso, a utilidade das listas de controlo é observada em vários contextos da vida quotidiana, mas também no ambiente profissional e no ensino, pois é uma ferramenta que pode ajudar professores e estudantes a orientar projectos para os objectivos finais, valorizando também o processo de lá chegar. O presente estudo surgiu de uma investigação realizada no âmbito da sustentabilidade em projectos de design de comunicação, envolvendo várias unidades curriculares de um curso de design de comunicação. O seu objectivo final é formular uma proposta para a aplicação da sustentabilidade na educação e na prática profissional neste campo do design. A principal intenção é encorajar práticas de design que considerem aspectos de sustentabilidade ambiental, social e económica, consolidando a formação de estudantes para um desenvolvimento mais sustentável. A nível metodológico, o estudo foi agrupado em quatro fases de acção. Na primeira fase, foi analisado o estado da arte, foi escolhido o método mais apropriado - uma Ecodesign Checklist - e desenvolvido para avaliar projectos de design de comunicação e introduzir melhorias na sustentabilidade dos produtos e projectos de design. Foram seleccionadas três unidades curriculares a partir do terceiro ano do bacharelato em Design de Comunicação, o que permitiu realizar o projecto de design de comunicação (disciplina de Design de Comunicação IV), criar estratégias de design ecológico (disciplina de Design Sustentável) e planear a sua produção gráfica (disciplina de Produção Gráfica I). Neste contexto, foi definido um problema de design de embalagem e rotulagem como sendo o projecto a ser realizado, evoluindo as disciplinas, tendo em conta a importância que esta área de design tem na região onde a escola está localizada. Para este fim, foi desenvolvida uma EcoDesign Checklist para Embalagem e Rotulagem, que permitiu que os aspectos de design para sustentabilidade fossem articulados entre as três unidades curriculares. Numa segunda fase metodológica, foi implementada a EcoDesign Checklist para Embalagem e Rotulagem, e foi realizado um primeiro estudo de avaliação, relativamente às potenciais contribuições para os principais aspectos do desenvolvimento sustentável e para a formação e currículo dos estudantes envolvidos. Para além de pôr em prática a EcoDesign Checklist para Embalagem e Rotulagem, foram também realizados inquéritos com os estudantes envolvidos, a fim de avaliar o impacto da utilização do método na sua formação curricular e nas suas práticas de concepção. Espera-se que, numa terceira fase, este estudo possa ser aplicado a outros temas do curso de Design de Comunicação e, numa quarta fase, ser alargado à prática profissional. Este artigo apresenta as primeiras análises e reflexões obtidas nas duas primeiras fases metodológicas desta investigação, avaliando a importância de conduzir o inquérito numa perspectiva mais holística, que inclui um currículo e formação para a sustentabilidade, transpondo os limites do projecto de concepção ou dos produtos concebidos. Apresenta-se também aqui a avaliação dos contributos do estudo, especificamente a EcoDesign Checklist para Embalagem e Rotulagem, para os "Objectivos de Desenvolvimento Sustentável - 2030" em Portugal e na região onde se localiza a instituição de ensino superior, destacando os aspectos considerados fundamentais, e ao alcance dos designers de design e comunicação. Os primeiros resultados apresentados são exploratórios, uma vez que a intenção é desenvolver o estudo através da comparação de resultados numa base contínua. A avaliação da EcoDesign Checklist para Embalagem e Rotulagem foi levada a cabo considerando o universo académico em que foi implementada e pretende estabelecer parâmetros de melhoria para a sua utilização. Estes parâmetros incluem a facilidade de utilização da Checklist; a realização dos objectivos de concepção ecológica e de sustentabilidade social e económica; e a contribuição para a formação dos estudantes no âmbito da sustentabilidade. Alguns dos critérios inicialmente definidos para este estudo, especificamente critérios relacionados com as práticas de colaboração aplicadas ao campo da concepção, foram condicionados pelos constrangimentos do confinamento social. Contudo, espera-se que estes critérios sejam aplicados e testados na próxima ronda de implementação da Eco-Design Checklist.info:eu-repo/semantics/publishedVersio

The design of a framework for compilers development

DOLPHIN framework is a solution conceived to support the development of modular compilers. Its supplies a large set of components, like: front-end’s, back-end’s, code analysis, code optimizations and measure components that can be combined to build new compilers. All these components work over a single form of intermediate code representation, the DOLPHIN Internal code Representation. The main principle that guides the conception of DOLPHIN framework was to build a user-friendly solution to develop high quality compilers. Such solution was achieved based on three main concepts: components, components reuse and data consistency. This paper, that aims to present the architectural design of DOLPHIN framework, demonstrates: how the concepts presented above influence the framework architecture; how they were ”implemented” on the framework, namely shows the interfaces defined for the components and for the code representation; how the components are related; how to use the components to implement concrete compilers; and how to evolve the components and the framework to support new features.info:eu-repo/semantics/publishedVersio

Support tools for 3D game creation

Nowadays, tools for developing videogames are a very important part of the development process in the game industry. Such tools are used to assist game developers in their tasks, allowing them to create functional games while writing a few lines of code. For example, these tools allow the users to import the content for the game, set the game logic, or produce the source code and compile it. There are several tasks and components regarding the development of videogames that may become unproductive, therefore, it’s necessary to automate and/or optimize such tasks. For example, the programming of events or dialogs can be a task that consumes too much time in the development cycle, and a tedious and repetitive task for the programmer. For this reason, the use of tools to support these tasks can be very important to increase productivity and help on the maintenance of the various processes that involve the development of videogames. This dissertation aims to demonstrate the advantages of the use of these kind of tools during the development of videogames, presenting a case study involving the development of a Serious Game entitled Clean World.Atualmente, as ferramentas para o desenvolvimento de jogos são uma parte bastante importante de todo o processo de desenvolvimento. Estas ferramentas servem para assistir os criadores de jogos nas tarefas que realizam, permitindo-lhes a criação de jogos funcionais escrevendo poucas linhas de código. Desenvolver um videojogo sem a utilização de ferramentas especializadas é um processo complexo e que consome bastante tempo, daí a existência de ferramentas que permitem ao utilizador importar os conteúdos para o jogo, definir a lógica de jogo, produzir o código fonte e compilá-lo. Este tipo de software é normalmente utilizado por quem se dedica à criação de jogos como hobby, ou por profissionais que procuram otimizar o processo de desenvolvimento de jogos. Existem várias componentes ao nível do desenvolvimento de videojogos que se tornam pouco produtivas, se não forem automatizados e/ou otimizadas. Por exemplo, a programação de eventos ou de diálogos pode ser uma tarefa que consome demasiado tempo no ciclo de desenvolvimento, para além de ser uma tarefa entediante e repetitiva no ponto de vista do programador. Por este motivo, a utilização de ferramentas pode ser muito importante no que diz respeito ao aumento da produtividade e manutenção dos vários processos que envolvem o desenvolvimento de videojogos. Nesta dissertação pretendemos demonstrar as vantagens da utilização dessas mesmas ferramentas durante o desenvolvimento de videojogos, através da apresentação de um caso de estudo que envolve o desenvolvimento de um Serious Game intitulado Clean World. Em Clean World, foram identificadas determinadas tarefas que se mostraram demasiado repetitivas e entediantes quando programadas por inteiro, como é o caso da adição, modificação ou remoção de componentes como diálogos, quest ou items. Tendo em conta este problema concreto, foram criadas algumas ferramentas de forma a aumentar a produtividade no desenvolvimento do jogo, tornando tarefas repetitivas e entediantes em processos simples e intuitivos. O conjunto de ferramentas é constituído por: Item Manager, Quest Manager, Dialog Manager e Terrain Creator